| contributor | Verteilte Systeme (IPVR) | ||||||||||||||
| creator |
Papakosta, S.
| Burger, C.
| date |
2001-10
| description |
This position paper introduces the idea and concept of generating
interactive protocol simulations and visualizations for teaching
environments in lectures as well as for learning environments over
the internet. Since the realisation is based on the SPIN model
checker, a short presentation of this verification tool and its
language Promela is shortly been given before sketching the
generation procedure itself. The architecture presented here is open
to further extensions.
| format |
application/postscript
| 300021 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-35&engl=1 |
| language | eng |
| publisher | Not available |
| source | In: CaberNet: 4th Plenary Workshop. Vol. 2001 |
| ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2001-35/INPROC-2001-35.ps | |
| subject | Network Protocols (CR C.2.2) |
| Simulation and Modeling (CR I.6) | |
| Computers and Education (CR K.3) | |
| Multimedia Information Systems (CR H.5.1) | |
| SPIN | |
| Promela | |
| model checking | |
| simulation | |
| animation | |
| title | Generating Interactive Protocol Simulations and Visualizations for Learning Environments |
| type | Text |
| Article in Proceedings |